home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c / 196 < prev    next >
Text File  |  1996-08-06  |  2KB  |  60 lines
  1. Newsgroups: comp.std.c
  2. Path: nntp.coast.net!torn!sq!msb
  3. From: msb@sq.com (Mark Brader)
  4. Subject: Re: integral types in switch expressions
  5. Message-ID: <1996Jan26.220546.22346@sq.com>
  6. Organization: SoftQuad Inc., Toronto, Canada
  7. References: <4eb5r1$b04@news.tuwien.ac.at>
  8. Date: Fri, 26 Jan 1996 22:05:46 GMT
  9.  
  10. Konrad Schwarz (schwarz@mips.complang.tuwien.ac.at) writes:
  11. > I was surprised to learn that constant pointer expressions are
  12. > not allowed in case labels and that the expression in a switch statement
  13. > must be an integral type.  ...
  14. > 
  15. > Consider:
  16. > T a [] = { ... } ...
  17. > switch (c) {
  18. >     case a: ...
  19. >     case a + 1: ...
  20. >     case a + 3: ...
  21. >     default: ...
  22. > }
  23. > where T is some type.
  24.  
  25. I don't know what was in the Committee's minds, but I can point out
  26. that this code contains constant pointer expressions only when a[]
  27. has static storage duration.  Therefore, without extending the switch
  28. statement to support case-expressions that would have to be computed
  29. at run time, you would have a construct that would be useful for some
  30. pointer values but not others.
  31.  
  32. > I am of course aware that
  33. > switch (c - a) {
  34. >     case 0: ...
  35. >     case 1: ...
  36. >     case 3: ...
  37. >     default: ...
  38. > }
  39. > is equivalent code, but it suffers from the division needed to evaluate
  40. > c - a.
  41.  
  42. No, unfortunately, it isn't.  The first one, if it worked at all, would
  43. work for *any* value c of appropriate type.  In the second one, c must
  44. point to an element of a[], or one past the last element.  But the
  45. overhead of division, at least, is a red herring given a suitable
  46. optimizer, as the code can simply be compiled as if it read:
  47.  
  48.   switch ((char *) c - (char *) a) {
  49.       case 0 * sizeof *a: ...
  50.       case 1 * sizeof *a: ...
  51.       case 3 * sizeof *a: ...
  52.       default: ...
  53.   }
  54.  
  55. -- 
  56. Mark Brader, msb@sq.com        "do right; have fun; make money"
  57. SoftQuad Inc., Toronto              -- Ian Darwin on Yuri Rubinski (1952-96)
  58.  
  59. My text in this article is in the public domain.
  60.